separable Hilbert space

[数] 可分希尔伯特空间